Research in Computing Science, Vol. 148(11), pp. 127-138, 2019.
PDF: On the Use of CSP Semantic Information in SAT Models PDF: On the Use of CSP Semantic Information in SAT Models